How the Lean language brings math to coding and coding to math
amazon.science·2h·
Discuss: Hacker News
🔬Lean
Attractive Metadata Attack: Inducing LLM Agents to Invoke Malicious Tools
arxiv.org·16h
⚡Proof Automation
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·22m
⚡Homebrew CPUs
Why the Old Ways Are Still the Best for Most Cybercriminals
darkreading.com·6h
🎯Threat Hunting
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Why Computer Science Is No Good, Redux
cacm.acm.org·3h
🎯Performance Proofs
Relative Completeness of Incorrectness Separation Logic
arxiv.org·16h
🧠Separation Logic
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·3h
💧Liquid Types
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·9h·
Discuss: Hacker News
🌳Archive Merkle Trees
Show HN: I built a Squaredle solver that visualizes paths
news.ycombinator.com·12h·
Discuss: Hacker News
🌳Trie Structures
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·1d
⚡gRPC
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·6h·
Discuss: Hacker News
🧪Binary Fuzzing
How to build the #1 open source terminal-use agent
letta.com·1h·
Discuss: Hacker News
🖥️Modern Terminals
A New Concurrent ML in Guile Scheme
wingolog.org·12h·
Discuss: Hacker News
🔄Lens Laws
How AI Models Like Claude Are Changing the Way We Code
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·16h
🔐Systems Hardening